WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
This Concept Map, created with IHMC CmapTools, has information related to: Specification language Z, Mathematical tool-kit categorized in Set, Combined called Schema conjunction, 5- Operations can be Error operations, Powerset e.g class: P STUDENT, Schema conjunction creates New schema, Z based on First order predicate logic, Basic type aka Given sets, Schema(s) consists of 1- Declarations, Decoration changes States, Z structured using Schema(s), Z Specification document consists of Paragraphs, Given sets e.g [TEACHER], Restriction constructed only by Numeric digits, Restriction they are First character must be a letter, Type can be Powerset, Type is a Set, Type can be Built-in types, Free type e.g DOORSTATUS ::= locked | unlocked, Z describes Computer Systems, Built-in types they are integers: Z
